2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Автор:
Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Категория:
Cs_Computer science
,
CsAi_AI
,
knowledge
Размер книги: 3.93 Mb
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Автор:
Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Категория:
Cs_Computer science
,
CsAi_AI
,
knowledge
Размер книги: 6.60 Mb
Machine proofs in geometry : automated production of readable proofs for geometry theorems
Автор:
Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Размер книги: 8.32 Mb
Mechanical geometry theorem proving
Автор:
Shang-Ching Chou
Категория:
Mathematics
,
Algebra
,
Computational algebra
Размер книги: 3.21 Mb
Mechanical geometry theorem proving
Автор:
Shang-Ching Chou
Категория:
Mathematics
,
Algebra
,
Computational algebra
Размер книги: 4.41 Mb
Mechanical Geometry Theorem Proving
Автор:
Shang-Ching Chou
Категория:
Математика
,
Алгебра
,
Вычислительная алгебра
Размер книги: 4.33 Mb
